verif相关论文
Social networks are getting more and more attention in recent years.People join social networks to share their informati......
A threshold proxy quantum signature scheme with threshold shared verification is proposed. An original signer could auth......
Facile and large-scale synthesis of green-emitting carbon nanodots from aspartame and the applicatio
A facile,economical and green strategy to prepare green-fluorescent nitrogen-doped carbon nanodots(NCDs)with a quantum y......
Target dynamics are assumed to be known in measuring digital speckle displacement. Use is made of a simple measurement e......
An automated damage diagnostic system for collecting plasma flash is developed to diagnose damage in a laser-induced dam......
A broadband non-polarizing beam splitter (NPBS) operating in the telecommunication C+L band is designed by using the gui......
A microwave photonic filter(MPF)with reconfigurability and tunability resulting from the superposition of the transfer f......
Compressional harmonic wave propagation from a cylindrical tunnel or borehole in an intact rock is the basis for investi......
A widely tunable microwave photonic(MWP) notch filter with high linearity based on a dual-parallel MachZehnder modulator......
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibil......
Vegetation cover pattern is one of the factors controlling hydrological processes.Spatially distributed models are the p......
Carbon nanotube bundles are promising thermal interfacial materials due to their excellent thermal and mechanical charac......
Fault plane parameters of Sanhe-Pinggu M8 earthquake in 1679 determined using present-day small eart
The great Sanhe-Pinggu M8 earthquake occurred in 1679 was the largest surface rupture event recorded in history in the n......
A simplified three-dimensional numerical model was presented to simulate the micro-crack nucleation and growth to some p......
阜阳市局 £4a 局长——_MINtkMMtgj’#lnH$B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
The great Tancheng earthquake of M81/2 occurred in 1668 was the largest seismic event ever recorded in history in easter......
With the rapid development in cloud data centers and cloud service customers,the demand for high quality cloud service h......
This article reports the design and construction of a multiple-epitope foot and mouth disease virus (FMDV) antigen, desi......
The present paper aims to the characterization of high rate direction solidification on Al-Mn and Al-Cu alloys. It is in......
Analogues of endomorphin and tripeptidcs modified at positions 4 and 3,respectively,with various phenylalanine analogues......
In groundwater management,the exchanges between groundwater and other water such as surface water and spring water need ......
The reaction mechanism of PCl3/H2 on silicon substrate surface (simulated by Si4 cluster) was investigated with Density ......
Effects of antibiotic antitumor drugs on nucleotide levels in cultured tumor cells:an exploratory me
Nucleotide pools in mammalian cells change due to the influence of antitumor drugs,which may help in evaluating the drug......
Several bisabolane sesquiterpenes,(±)-curcumene,(±)-curcuphenol,(±)-curcudiol and(±)-curcuhydroquinone,have been syn......
The problem of modeling one-link flexible manipulators is considered.The dynamic model is derived from an inhomogeneouo ......
For shortening irradiation treatment time and avoiding hot and cold points in target volume, it is verynecessary to enla......
THE LOCAL SPLINE VERTICAL INTERPOLATION METHOD OF TEMPERATURE AND GEOPOTENTIAL HEIGHT FIELDS AND THE
In numerical weather prediction (NWP), the accuracy of vertical interpolation of the initial data is a problem which is......
Gastric cancer and liver cancer are among the most common malignancies and the leading causes of death worldwide,due to ......
The matrix inversion operation is needed in the MMSE decoding algorithm of orthogonal space-time block coding (OSTBC) pr......
A heuristic algorithm of establishing a minimum coding nodes multicast tree on which a two-channel all-optical network c......
Screening of the different TNM stage-associated genes in lung adenocarcinoma by genomewide gene expr
Objective To screen for the differentially expressed genes associated with various TNM stages in lung adenocarcinoma of ......
The exogenous total DNA of the wild high-protein soybean was transferred to cultivatedsoybean through the pollen tube ch......
Global Analysis of Response in the Piezomagnetoelastic Energy Harvester System under Harmonic and Po
The piezomagnetoelastic energy harvester system subjected to harmonic and Poisson white noise excitations is studied by ......
Performance of OFDM AF relay system with subcarrier mapping in the presence of carrier frequency off
This article deals with the performance analysis of orthogonal frequency division multiplexing(OFDM) amplify-and-forward......
Appendix A Experiment Results In order to establish topological design rules and to recognize possible obstructions for ......
This study investigates physical layer security in downlink multipleinput multiple-output(MIMO) multi-hop heterogeneous ......
In this paper, almost sure exponential stability of neutral delayed cellular neural networks which are in the noised env......
A generalized controller based on stability theory of singularly perturbed systems is proposed,to deal with the problem ......
In this paper,we present a full scheme for the cooperative control of multiple unmanned aerial vehicle(UAV)helicopters.W......
Global Identification of Significantly Expressed Genes in Developing Endosperm of Rice by Expression
Rice endosperm plays a very important role in seedling germination and determines the qualities of rice grain. Although ......
Human-machine interaction force control: using a model-referenced adaptive impedance device to contr
Exoskeleton robots and their control methods have been extensively developed to aid post-stroke rehabilitation. Most of ......
In this paper,we study lag synchronization between two coupled networks and apply two types of control schemes,including......
Concurrent programs written in a machine level language are being used in many areas but verification of such programs b......
对称事物自然是均衡的,但受实际条件制约,建筑立面在很多情形下采用非对称均衡设计.一些视觉审美良好的非对称建筑立面,其是否蕴含......
采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证.测量标准装置的重复性以组内实验标准偏差sn(A)定量表征,测量标准装......
通过选取2000-2010年中国非木质林产品进出口总额及林业生产总值的相关数据,分析中国非木质林产品的进出口贸易现状,进而在此基础......
采用强电磁场环境模拟与防护技术,选择两种工业电雷管,分别在37.5MHz、50MHz、144MHz以及450MHz频率点对理论推算出来的工业电雷管防......
由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府......
介绍锦赤铁路大凌河特大桥梁墩柱桩基偏移的处理设计和措施,扩大承台,验算承载力,使其达到满足设计承载力的要求。该方案既缩短了施工......
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规......